l\_all($L$; $T$; $x$.$P$($x$)) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$x$:$T$. ($x$ $\in$ $L$ $\in$ $T$) $\Rightarrow$ $P$($x$)